Derivation of logic programs

Imperial Users onl

Transforming specifications of observable behaviour into programs

A methodology for deriving programs from specifications of observable behaviour is described. The class of processes to which this methodology is applicable includes those whose state changes are fully definable by labelled transition systems, for example communicating processes without internal state changes. A logic program representation of such labelled transition systems is proposed, interpreters based on path searching techniques are defined, and the use of partial evaluation techniques to derive the executable programs is described

Optimizing minimal agents through abstraction

Abstraction is a valuable tool for dealing with scalability in large state space contexts. This paper addresses the design, using abstraction, of good policies for minimal autonomous agents applied within a situation-graph-framework. In this framework an agent’s policy is some function that maps perceptual inputs to actions deterministically. A good policy disposes the agent towards achieving one or more designated goal situations, and the design process aims to identify such policies. The agents to which the framework applies are assumed to have only partial observability, and in particular may not be able to perceive fully a goal situation. A further assumption is that the environment may influence an agent’s situation by unpredictable exogenous events, so that a policy cannot take advantage, of a reliable history of previous actions. The Bellman discount measure provides a means of evaluating situations and hence the overall value of a policy. When abstraction is used, the accuracy of the method can be significantly improved by modifying the standard Bellman equations. This paper describes the modification and demonstrates its power through comparison with simulation results

Wizard building in an abstract portal framework

This report investigates a particular way in which enterprise portals can support the working life of their users. Through monitoring a user's behaviour and observing archetypal sequences of actions, the system constructs abstract templates of tools that assist him to carry out such sequences efficiently and easily in the future. We call these new tools "wizards" after the utilities introduced by Microsoft into their applications and operating systems, designed to guide users through potentially complex tasks such as constructing graphs in Excel or setting up the computer to access the Internet. At the heart of the process lies a re-programmable rule-base that encodes the principles by which action records are to be assembled into intelligible generic patterns of working practice, and thence converted into templates of new wizard tools that provide direct support for those patterns

Safety and efficacy of fluticasone propionate in the topical treatment of skin diseases

Fluticasone propionate - the first carbothioate corticosteroid - has been classified as a potent anti-inflammatory drug for dermatological use. It is available as 0.05% cream and 0.005% ointment formulations for the acute and maintenance treatment of patients with dermatological disorders such as atopic dermatitis, psoriasis and vitiligo. This glucocorticoid is characterized by high lipophilicity, high glucocorticoid receptor binding and activation, and a rapid metabolic turnover in skin. Although skin blanching following fluticasone propionate exceeds that of corticosteroids of medium strength, several clinical trials demonstrate a low potential for cutaneous and systemic side-effects, even in difficult-to-treat areas like the face, the eyelids and intertriginous areas. Even among paediatric patients with atopic dermatitis, fluticasone propionate proved to be safe and effective. These pharmacological and clinical properties are reflected by the high therapeutic index of this glucocorticoid

Differential Expression of CD163 on Monocyte Subsets in Healthy and HIV-1 Infected Individuals

CD163, a haptoglobin-hemoglobin (Hp-Hb) scavenger receptor, expressed by monocytes and macrophages, is important in resolution of inflammation. Age-related non-AIDS co-morbidities in HIV-infected individuals, particularly dementia and cardiovascular disease, result in part from effects of HIV-1 infection on monocyte and macrophage biology. CD163 co-expression on CD14+CD16++ monocytes has been proposed as a useful biomarker for HIV-1 disease progression and the presence of HIV associated dementia. Here we investigated CD163 expression on monocyte subsets ex vivo, on cultured macrophages, and soluble in plasma, in the setting of HIV-1 infection. Whole blood immunophenotyping revealed CD163 expression on CD14++CD16- monocytes but not on CD14+CD16++ monocytes (P = 0.004), supported by CD163 mRNA levels. Incubation with M-CSF induced CD163 protein expression on CD14+CD16++ monocytes to the same extent as CD14++CD16− monocytes. CD163 expression on CD14++CD16+ monocytes from HIV-infected subjects was significantly higher than from uninfected individuals, with a trend towards increased expression on CD14++CD16− monocytes (P = 0.019 and 0.069 respectively), which is accounted for by HIV-1 therapy including protease inhibitors. Shedding of CD163 was shown to predominantly occur from the CD14++CD16− subset after Ficoll isolation and LPS stimulation. Soluble CD163 concentration in plasma from HIV-1 infected donors was similar to HIV-1 uninfected donors. Monocyte CD163 expression in HIV-1 infected patients showed a complicated relationship with classical measures of disease progression. Our findings clarify technical issues regarding CD163 expression on monocyte subsets and further elucidates its role in HIV-associated inflammation by demonstrating that CD163 is readily lost from CD14++CD16− monocytes and induced in pro-inflammatory CD14+CD16++ monocytes by M-CSF. Our data show that all monocyte subsets are potentially capable of differentiating into CD163-expressing anti-inflammatory macrophages given appropriate stimuli. Levels of CD163 expression on monocytes may be a potential biomarker reflecting efforts by the immune system to resolve immune activation and inflammation in HIV-infected individuals

Differential Expression of CD163 on Monocyte Subsets in Healthy and HIV-1 Infected Individuals

CD163, a haptoglobin-hemoglobin (Hp-Hb) scavenger receptor, expressed by monocytes and macrophages, is important in resolution of inflammation. Age-related non-AIDS co-morbidities in HIV-infected individuals, particularly dementia and cardiovascular disease, result in part from effects of HIV-1 infection on monocyte and macrophage biology. CD163 co-expression on CD14+CD16++ monocytes has been proposed as a useful biomarker for HIV-1 disease progression and the presence of HIV associated dementia. Here we investigated CD163 expression on monocyte subsets ex vivo, on cultured macrophages, and soluble in plasma, in the setting of HIV-1 infection. Whole blood immunophenotyping revealed CD163 expression on CD14++CD16- monocytes but not on CD14+CD16++ monocytes (P = 0.004), supported by CD163 mRNA levels. Incubation with M-CSF induced CD163 protein expression on CD14+CD16++ monocytes to the same extent as CD14++CD16− monocytes. CD163 expression on CD14++CD16+ monocytes from HIV-infected subjects was significantly higher than from uninfected individuals, with a trend towards increased expression on CD14++CD16− monocytes (P = 0.019 and 0.069 respectively), which is accounted for by HIV-1 therapy including protease inhibitors. Shedding of CD163 was shown to predominantly occur from the CD14++CD16− subset after Ficoll isolation and LPS stimulation. Soluble CD163 concentration in plasma from HIV-1 infected donors was similar to HIV-1 uninfected donors. Monocyte CD163 expression in HIV-1 infected patients showed a complicated relationship with classical measures of disease progression. Our findings clarify technical issues regarding CD163 expression on monocyte subsets and further elucidates its role in HIV-associated inflammation by demonstrating that CD163 is readily lost from CD14++CD16− monocytes and induced in pro-inflammatory CD14+CD16++ monocytes by M-CSF. Our data show that all monocyte subsets are potentially capable of differentiating into CD163-expressing anti-inflammatory macrophages given appropriate stimuli. Levels of CD163 expression on monocytes may be a potential biomarker reflecting efforts by the immune system to resolve immune activation and inflammation in HIV-infected individuals

Soluble Immune Complexes Shift the TLR-Induced Cytokine Production of Distinct Polarized Human Macrophage Subsets towards IL-10

Contains fulltext : 109563.pdf (publisher's version ) (Open Access)BACKGROUND: Costimulation of murine macrophages with immune complexes (ICs) and TLR ligands leads to alternative activation. Studies on human myeloid cells, however, indicate that ICs induce an increased pro-inflammatory cytokine production. This study aimed to clarify the effect of ICs on the pro- versus anti-inflammatory profile of human polarized macrophages. MATERIALS AND METHODS: Monocytes isolated from peripheral blood of healthy donors were polarized for four days with IFN-gamma, IL-4, IL-10, GM-CSF, M-CSF, or LPS, in the presence or absence of heat aggregated gamma-globulins (HAGGs). Phenotypic polarization markers were measured by flow cytometry. Polarized macrophages were stimulated with HAGGs or immobilized IgG alone or in combination with TLR ligands. TNF, IL-6, IL-10, IL-12, and IL-23 were measured by Luminex and/or RT-qPCR. RESULTS: HAGGs did not modulate the phenotypic polarization and the cytokine production of macrophages. However, HAGGs significantly altered the TLR-induced cytokine production of all polarized macrophage subsets, with the exception of MPhi(IL-4). In particular, HAGGs consistently enhanced the TLR-induced IL-10 production in both classically and alternatively polarized macrophages (M1 and M2). The effect of HAGGs on TNF and IL-6 production was less pronounced and depended on the polarization status, while IL-23p19 and IL-12p35 expression was not affected. In contrast with HAGGs, immobilized IgG induced a strong upregulation of not only IL-10, but also TNF and IL-6. CONCLUSION: HAGGs alone do not alter the phenotype and cytokine production of in vitro polarized human macrophages. In combination with TLR-ligands, however, HAGGs but not immobilized IgG shift the cytokine production of distinct macrophage subsets toward IL-10

Global gene expression profile progression in Gaucher disease mouse models

<p>Abstract</p> <p>Background</p> <p>Gaucher disease is caused by defective glucocerebrosidase activity and the consequent accumulation of glucosylceramide. The pathogenic pathways resulting from lipid laden macrophages (Gaucher cells) in visceral organs and their abnormal functions are obscure.</p> <p>Results</p> <p>To elucidate this pathogenic pathway, developmental global gene expression analyses were conducted in distinct <it>Gba1 </it>point-mutated mice (V394L/V394L and D409 V/null). About 0.9 to 3% of genes had altered expression patterns (≥ ± 1.8 fold change), representing several categories, but particularly macrophage activation and immune response genes. Time course analyses (12 to 28 wk) of INFγ-regulated pro-inflammatory (13) and IL-4-regulated anti-inflammatory (11) cytokine/mediator networks showed tissue differential profiles in the lung and liver of the <it>Gba1 </it>mutant mice, implying that the lipid-storage macrophages were not functionally inert. The time course alterations of the INFγ and IL-4 pathways were similar, but varied in degree in these tissues and with the <it>Gba1 </it>mutation.</p> <p>Conclusions</p> <p>Biochemical and pathological analyses demonstrated direct relationships between the degree of tissue glucosylceramides and the gene expression profile alterations. These analyses implicate IFNγ-regulated pro-inflammatory and IL-4-regulated anti-inflammatory networks in differential disease progression with implications for understanding the Gaucher disease course and pathophysiology.</p